% Ejercicio "Gramática"
\subsection*{\fbox{\theejercicio} - Construcci\'on de CABECERA y SIGUIENTE}

Hallar los conjuntos CABECERA Y SIGUIENTE de todos los s\'{\i}mbolos no terminales de la siguiente gram\'atica ampliada:

\begin{center}
\begin{tabular}{|lcl|} \hline
        &               &                    \\
{\em S} & $\rightarrow$ & {\em ABBA}{\bf \$} \\
{\em A} & $\rightarrow$ & {\bf a}            \\
{\em A} & $\rightarrow$ & $\varepsilon$      \\
{\em B} & $\rightarrow$ & {\bf b}            \\
{\em B} & $\rightarrow$ & $\varepsilon$      \\
        &               &                    \\ \hline
\end{tabular}
\end{center}

% Solución del ejercicio
\subsubsection*{SOLUCI\'ON}

\begin{center}
\begin{tabular}{|l|l|l|} \hline
        & CABECERA                & SIGUIENTE               \\ \hline
{\em S} & {\bf a b $\varepsilon$} & {\bf \$}                \\ \hline
{\em A} & {\bf a $\varepsilon$}   & {\bf a b $\varepsilon$} \\ \hline
{\em B} & {\bf b $\varepsilon$}   & {\bf a b $\varepsilon$} \\ \hline
\end{tabular}
\end{center}